41. Dependability and computer engineering
پدیدآورنده : Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Computer systems-- Reliability.,Reliability (Engineering)
42. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
43. Dependable computing--EDCC-1 :
پدیدآورنده : Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
44. Dependable computing for critical applications 3
پدیدآورنده : C.E. Landwehr, B. Randell, L. Simoncini, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Application software.,Falhas computacionais.,Fault-tolerant computing.
رده :
QA76
.
9
.
F38
C453
1993
45. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
46. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
47. Enterprise DevOps framework :
پدیدآورنده : Shamayel M. Farooqui.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Computer system conversion.,Information technology-- Management.,Operating systems (Computers),Computer software-- Development.,Computer system conversion.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.,Network hardware.,Operating systems (Computers)
رده :
QA76
.
9
.
C68
48. Experimental Stress Analysis :
پدیدآورنده : edited by H. Wieringa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mechanics.,Physics.
رده :
TA407
.
E358
1986
49. Fault Prediction Modeling for the Prediction of Number of Software Faults /
پدیدآورنده : Santosh Singh Rathore and Sandeep Kumar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
R44
50. Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems :
پدیدآورنده : edited by Winfried Görke, Holger Sörensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Memory management (Computer science),Microprogramming.
رده :
QA76
.
9
.
C62
E358
1989
51. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
52. Handbook on measurement, assessment, and evaluation in higher education /
پدیدآورنده : [edited] by Charles Secolsky and D. Brian Denison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Education, Higher-- Evaluation, Handbooks, manuals, etc.,Educational tests and measurements, Handbooks, manuals, etc.,EDUCATION-- Higher.,Education, Higher-- Evaluation.,Educational tests and measurements.
رده :
LB2331
.
62
.
H36
2017eb
53. How to break software security: effective techniques for security testing
پدیدآورنده : Whittaker, James A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer security,Testing ، Computer software,Reliability ، Computer software
رده :
QA
76
.
9
.
A25
W48
2004
54. Industrial Application of Electromagnetic Computer Codes
پدیدآورنده : edited by Yves R. Crutzen, Giorgio Molinari, Guglielmo Rubinacci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Electronic data processing.
55. Information Systems:
پدیدآورنده : edited by John A. Wise, Anthony Debons.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA75
.
5
E358
1987
56. Integrated Network Management V :
پدیدآورنده : edited by Aurel A. Lazar, Roberto Saracco, Rolf Stadler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.
رده :
TK5105
.
5
E358
1997
57. Intelligence computation and evolutionary computation :
پدیدآورنده : Zhenyu Du (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
58. Intracranial Pressure VII Proceedings of the Seventh International Symposium on Intracranial Pressure, Held in Ann Arbor, USA, June 19-23, 1988
پدیدآورنده : Julian T Hoff
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
59. Intracranial Pressure VII Proceedings of the Seventh International Symposium on Intracranial Pressure, Held in Ann Arbor, USA, June 19-23, 1988
پدیدآورنده : Julian T Hoff
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
RC386
.
2
J855
2013
60. Jenkins continuous integration cookbook
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development,Computer software-- Quality control,Computer software-- Reliability,Computer software-- Testing,Open source software,Web sites-- Design
رده :
QA76
.
76
.
Q35
B47
2012